ordinal recursion

[數] 有序遞歸式